1

Network objects

Year:
1995
Language:
english
File:
PDF, 2.79 MB
english, 1995
2

Proving Liveness Properties of Concurrent Programs

Year:
1982
Language:
english
File:
PDF, 2.03 MB
english, 1982
6

Verifying properties of parallel programs: an axiomatic approach

Year:
1976
Language:
english
File:
PDF, 656 KB
english, 1976
11

Construction of centered shortest-path trees in networks

Year:
1983
Language:
english
File:
PDF, 1.16 MB
english, 1983
12

Preferential sampling near solutes in monte carlo calculations on dilute solutions

Year:
1977
Language:
english
File:
PDF, 278 KB
english, 1977
15

An axiomatic proof technique for parallel programs I

Year:
1976
Language:
english
File:
PDF, 1.01 MB
english, 1976
16

Competitive randomized algorithms for nonuniform problems

Year:
1994
Language:
english
File:
PDF, 1.67 MB
english, 1994
17

A model and temporal proof system for networks of processes

Year:
1986
Language:
english
File:
PDF, 1.72 MB
english, 1986
18

Performance Validation for Microplate Fluorimeters

Year:
2005
Language:
english
File:
PDF, 256 KB
english, 2005
25

Modular Verification of Computer Communication Protocols

Year:
1983
Language:
english
File:
PDF, 1.23 MB
english, 1983
29

Lateral diffusion in inhomogeneous membranes. Model membranes containing cholesterol

Year:
1980
Language:
english
File:
PDF, 975 KB
english, 1980
32

Mutual diffusion of interacting membrane proteins

Year:
1989
Language:
english
File:
PDF, 1.11 MB
english, 1989
33

Self diffusion of interacting membrane proteins

Year:
1989
Language:
english
File:
PDF, 1.66 MB
english, 1989
34

Aggregation of hapten-bearing liposomes mediated by specific antibodies

Year:
1993
Language:
english
File:
PDF, 4.47 MB
english, 1993
37

Structure, energetics, and dynamics of the water dimer

Year:
1974
Language:
english
File:
PDF, 754 KB
english, 1974
43

Testing ocular irritancy in vitro with the silicon microphysiometer

Year:
1991
Language:
english
File:
PDF, 706 KB
english, 1991
49

Detection of cell-affecting agents with a silicon biosensor

Year:
1989
Language:
english
File:
PDF, 1.32 MB
english, 1989